#pragma once

extern u64 sched_clock_cpu(int cpu);
extern void sched_clock_tick(void);
